61. Foundation Mathematics for Computer Science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Computer graphics. ; Computer mathematics. ; Mathematics of Computing. ; -Computer science
62. Foundation mathematics for computer science : a visual approach
پدیدآورنده : Vince, John A., 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35V56
63. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
64. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
65. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
66. Future tendencies in computer science, control, and applied mathematics :
پدیدآورنده : A. Bensoussan, J.-P. Verjus (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
67. Future tendencies in computer science, control, and applied mathematics :
پدیدآورنده : A. Bensoussan, J.-P. Verjus (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
68. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L28
Vol
.
653
69. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده : A. Bensoussan, J.-P. Verjus )eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
رده :
QA
76
.
L4
v
.
653
70. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
رده :
QA
76
.
5
.
I5484
1992
71. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
72. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
73. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
74. Grammars and Automata for string processing : From mathematics and computer science to biology and Bach
پدیدآورنده : Edited by Carlos Martin Vide, Victor Mitrana
کتابخانه: Library of Islamic Azad University, Qom branch (Qom)
موضوع : Computer science,Mathematics,Molecular biology
رده :
QA
.
G72
76
2003
75. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
76. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده : edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
77. Introduction to computer science mathematics
پدیدآورنده : / Robert V. Jamison
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematics - 1961-
رده :
510
J32i
78. Introduction to computer science mathematics
پدیدآورنده : Jamison, Robert V
موضوع : ، Mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
79. Introduction to computer science mathematics
پدیدآورنده : JAMISON,ROBERT V
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : MATHEMATICS-1961-
رده :
QA
39
.
2
.
J35
80. Lectures on discrete mathematics for computer science
پدیدآورنده : Khoussainov, Bakhadyr, 1691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Textbooks ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35K46
